go top

protocol verification

  • 协议认证;协议确认;协定的验证

网络释义专业释义

  协议验证

协议验证Protocol Verification)是协议工程的重要组成部分,是对通信协议本身的逻辑性和正确性进行验证的过程。

基于72个网页-相关网页

  安全协议验证

...安全协议验证 [gap=899]ords :OBDDs; mu-calculus; temporal logics of knowledge; symbolic model checking; protocol verification; ...

基于1个网页-相关网页

短语

security protocol verification 安全协议认证 ; 安全协议验证

NSPK Protocol Verification NSPK协议验证

PV Protocol Verification 协议验证

protocol verification method 协议验证方法

Automatic Protocol Verification 协议自动化分析

protocol verification and analysis 协议验证与分析

bus interface protocol verification 总线接口协议验证

verification protocol 验证协议

identity verification protocol 身份识别协议

 更多收起网络短语
  • 协议验证 - 引用次数:20

    参考来源 - 复杂安全协议的形式化分析、设计与验证研究
    协议确认 - 引用次数:2

    In the model, protocol verification theory is introduced into the system to make up shotcomings of protocol analyzing method.

    该模型引入了协议确认模块,在进行模式匹配前对数据进行过滤。

    参考来源 - 基于TCP/IP协议分析的入侵检测系统的实现

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句权威例句

  • The security protocol verification is one of the important projects in the domain of network security.

    安全协议认证网络安全领域重大课题之一

    youdao

  • In the model, protocol verification theory is introduced into the system to make up shotcomings of protocol analyzing method.

    模型引入了协议确认模块,进行模式匹配前对数据进行过滤。

    youdao

  • It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.

    机器定理证明数学定理证明、协议验证软件硬件形式化验证等方面发挥出越来越重要的作用。

    youdao

更多双语例句
  • So how does this protocol propose to handle the verification problem?

    CENTERFORSECURITYPOLICY: Why Bush Is Right to Reject a Defective B.W.C. Protocol

  • If Iraq's use, in violation of the Geneva Protocol, of nerve gas and other chemicals against Iran-a UN-confirmed illegality about which there was no verification dispute, a violation that produced horribly disfigured victims and lurid corpses, all displayed on television around the world-produced no condemnation of Iraq, let alone punishment, then what basis exists for believing that non-compliance with the CWC would produce such action?

    CENTERFORSECURITYPOLICY: Chemical Reaction

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定